搜索包含 Logics of Programs Workshop (1983 : Carnegie Mellon University) 的图书 - 暨南大学图书馆

大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Logics of Programs Workshop (1983 : Carnegie Mellon University) 的图书(共3598本)

	Adhesive chemistry, developments and trends 0 索取号：TQ31/E9011 作者：Symposium on Recent Developments in Adhesive Chemistry (1983 : Seattle、 Wash.)、Lee、 Lieng-Huang、 1924-、American Chemical Society. Division of Organic Coatings and Plastics Chemistry.、出版社：New York : Plenum Press, 1984.		Heterogeneous catalysis : proceedings of the Second Symposium of the Industry-University Cooperative Chemistry Program of the Department of Chemistry, Texas A&M University, April 1-4, 1984 0 索取号：TQ032.41-53/E901/2 作者：Texas A & M University. Industry-University Cooperative Chemistry Program. Symposium (2nd : 1984)、Shapiro、 Bernard L.、出版社：U.S.A. College Station, Tex. : Published for the IUCCP by Texas A&M University Press, 1984.
	ISCRE 8 : the Eighth International Symposium on Chemical Reaction Engineering 0 索取号：TQ03-53/E901/8 作者：International Symposium on Chemical Reaction Engineering (8th : 1984 : University of Edinburgh)、Beveridge、 Gordon S. G.、Rowe、 P. N. (Peter NöЕl)、Institution of Chemical Engineers (Great Britain)、EFCE Working Party on Chemical Reaction Engineering.、出版社：Rugby, Warks : Institution of Chemical Engineers ; Elmsford, N.Y., U.S.A. : ISCRE Distributed by Pergamon Press, 1984.		Chemical reaction engineering reviews : the Third International Symposium on Chemical Reaction Engineering, co-sponsored by the American Chemical Society ... [et al.], held at Northwestern University, Evanston, Ill., Aug. 27-29, 1974 0 索取号：TQ03/E801 作者：International Symposium on Chemical Reaction Engineering (3rd : 1974 : Northwestern University)、Hulburt、 Hugh M.、American Chemical Society.、出版社：Washington : American Chemical Society, 1975.
	Advances in two-phase flow and heat transfer : fundamentals and applications 0 索取号：TQ021/E901/1 作者：NATO Advanced Research Workshop on the Advances in Two-Phase Flow and Heat Transfer (1982 : Spitzingsee、 Germany)、Kakac、 S. (SadıК)、Ishii、 M.、North Atlantic Treaty Organization. Scientific Affairs Division.、出版社：Boston : M. Nijhoff ; Hingham, MA : Distributors for the U.S. and Canada, Kluwer Boston, 1983.		Advances in two-phase flow and heat transfer : fundamentals and applications 0 索取号：TQ021/E901/2 作者：NATO Advanced Research Workshop on the Advances in Two-Phase Flow and Heat Transfer (1982 : Spitzingsee、 Germany)、Kakac、 S. (SadıК)、Ishii、 M.、North Atlantic Treaty Organization. Scientific Affairs Division.、出版社：Boston : M. Nijhoff ; Hingham, MA : Distributors for the U.S. and Canada, Kluwer Boston, 1983.
	Computer-based factory automation : conference proceedings : May 21-23, 1984, Carnegie-Mellon University, Pittsburgh, Pennsylvania 0 索取号：TQ015.9-53/E901 作者：Conference on Production Research and Technology (11th : 1984 : Carnegie-Mellon University)、Production Research Program (National Science Foundation)、Society of Manufacturing Engineers.、出版社：Dearborn, Mich. : Society of Manufacturing Engineers, 1984.		Calculator programs for chemical engineers 0 索取号：TP0/E901 作者：出版社：New York : Chemical Engineering, 1982
	Ring technology local area networks : proceedings of the IFIP WG6.4/University of Kent Workshop on Ring Technology Based Local Area Networks, Kent, U.K., 28-30 September 1983 0 索取号：TP4-53/E901/1983 作者：IFIP WG6.4/University of Kent Workshop on Ring Technology Based Local Area Networks (1983)、Dallas、 I. N. (Ian Neil)、 1948-、Spratt、 E. B. (Edward Brian)、 1928-、IFIP Working Group 6.4.、University of Kent at Canterbury. Computing Laboratory.、出版社：Amsterdam ; New York : North-Holland ; New York, N.Y. : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1984.		Proceedings from the Second International Conference on Expert Database Systems 0 索取号：TP392-53/E9019/1988.2 作者：International Conference on Expert Database Systems (2nd : 1988 : Vienna、 Va.)、Kerschberg、 Larry.、George Mason University.、出版社：Redwood City, Calif. : Benjamin/Cummings Pub. Co., 1989.
	Database machines : fourth international workshop, Grand Bahama Island, March 1985 0 索取号：TP392-53/E9016/4 作者：International Workshop on Database Machines (4th : 1985 : Grand Bahama Island)、DeWitt、 D. J. (David J.)、Boral、 H. (Haran)、出版社：New York : Springer-Verlag, 1985.		Improving database usability and responsiveness 0 索取号：TP392-53/E9015/2 作者：International Conference on Databases: Improving Usability and Responsiveness (2nd : 1982 : Hebrew University of Jerusalem)、Scheuermann、 Peter.、出版社：New York : Academic Press, 1982.
	Proceedings 0 索取号：TP392-53/E9011 作者：International Conference on Data Bases (1st : 1980 : University of Aberdeen)、Deen、 S. M. (Sayyed M.)、Hammersley、 P.、University of Aberdeen. Dept. of Computing Science.、British Computer Society.、出版社：London ; Philadelphia : Heyden, 1980.		Proceedings of the Fourth British National Conference on Databases (BNCOD4) : University of Keele, 10-12 July 1985 0 索取号：TP392-53/E909/4 作者：British National Conference on Databases (4th : 1985 : University of Keele)、Grundy、 A. F. (Anna Frances)、British Computer Society.、出版社：Cambridge [Cambridgeshire] ; New York : Published by Cambridge University Press on behalf of the British Computer Society, 1985.
	Proceedings of the Second ACM SIGACT-SIGMOD Symposium on Principles of Database Systems : 21-23 March 1983, Colony Square Hotel, Atlanta, Georgia 0 索取号：TP392-53/E907/2 作者：ACM SIGACT-SIGMOD Symposium on Principles of Database Systems (2nd : 1983 : Atlanta、 Ga.)、Association for Computing Machinery.、ACM Special Interest Group for Automata and Computability Theory.、Association for Computing Machinery. Special Interest Group on Management of Data.、出版社：New York, N.Y. : Association for Computing Machinery ; Baltimore, MD : May be ordered prepaid from ACM Order Dept., 1983.		Quantitative analysis in financial markets : collected papers of the New York University Mathematical Finance Seminar v.II 0 索取号：F810-532/E20011/2 作者：New York University Mathematical FinanceSeminar、Avellaneda、 Marco、 1955-、出版社：Singapore : River Edge, NJ : World Scientific, 2001.

	Adhesive chemistry, developments and trends 0 索取号：TQ31/E9011 作者：Symposium on Recent Developments in Adhesive Chemistry (1983 : Seattle、 Wash.)、Lee、 Lieng-Huang、 1924-、American Chemical Society. Division of Organic Coatings and Plastics Chemistry.、出版社：New York : Plenum Press, 1984.		Heterogeneous catalysis : proceedings of the Second Symposium of the Industry-University Cooperative Chemistry Program of the Department of Chemistry, Texas A&M University, April 1-4, 1984 0 索取号：TQ032.41-53/E901/2 作者：Texas A & M University. Industry-University Cooperative Chemistry Program. Symposium (2nd : 1984)、Shapiro、 Bernard L.、出版社：U.S.A. College Station, Tex. : Published for the IUCCP by Texas A&M University Press, 1984.
	ISCRE 8 : the Eighth International Symposium on Chemical Reaction Engineering 0 索取号：TQ03-53/E901/8 作者：International Symposium on Chemical Reaction Engineering (8th : 1984 : University of Edinburgh)、Beveridge、 Gordon S. G.、Rowe、 P. N. (Peter NöЕl)、Institution of Chemical Engineers (Great Britain)、EFCE Working Party on Chemical Reaction Engineering.、出版社：Rugby, Warks : Institution of Chemical Engineers ; Elmsford, N.Y., U.S.A. : ISCRE Distributed by Pergamon Press, 1984.		Chemical reaction engineering reviews : the Third International Symposium on Chemical Reaction Engineering, co-sponsored by the American Chemical Society ... [et al.], held at Northwestern University, Evanston, Ill., Aug. 27-29, 1974 0 索取号：TQ03/E801 作者：International Symposium on Chemical Reaction Engineering (3rd : 1974 : Northwestern University)、Hulburt、 Hugh M.、American Chemical Society.、出版社：Washington : American Chemical Society, 1975.
	Advances in two-phase flow and heat transfer : fundamentals and applications 0 索取号：TQ021/E901/1 作者：NATO Advanced Research Workshop on the Advances in Two-Phase Flow and Heat Transfer (1982 : Spitzingsee、 Germany)、Kakac、 S. (SadıК)、Ishii、 M.、North Atlantic Treaty Organization. Scientific Affairs Division.、出版社：Boston : M. Nijhoff ; Hingham, MA : Distributors for the U.S. and Canada, Kluwer Boston, 1983.		Advances in two-phase flow and heat transfer : fundamentals and applications 0 索取号：TQ021/E901/2 作者：NATO Advanced Research Workshop on the Advances in Two-Phase Flow and Heat Transfer (1982 : Spitzingsee、 Germany)、Kakac、 S. (SadıК)、Ishii、 M.、North Atlantic Treaty Organization. Scientific Affairs Division.、出版社：Boston : M. Nijhoff ; Hingham, MA : Distributors for the U.S. and Canada, Kluwer Boston, 1983.
	Computer-based factory automation : conference proceedings : May 21-23, 1984, Carnegie-Mellon University, Pittsburgh, Pennsylvania 0 索取号：TQ015.9-53/E901 作者：Conference on Production Research and Technology (11th : 1984 : Carnegie-Mellon University)、Production Research Program (National Science Foundation)、Society of Manufacturing Engineers.、出版社：Dearborn, Mich. : Society of Manufacturing Engineers, 1984.		Calculator programs for chemical engineers 0 索取号：TP0/E901 作者：出版社：New York : Chemical Engineering, 1982
	Ring technology local area networks : proceedings of the IFIP WG6.4/University of Kent Workshop on Ring Technology Based Local Area Networks, Kent, U.K., 28-30 September 1983 0 索取号：TP4-53/E901/1983 作者：IFIP WG6.4/University of Kent Workshop on Ring Technology Based Local Area Networks (1983)、Dallas、 I. N. (Ian Neil)、 1948-、Spratt、 E. B. (Edward Brian)、 1928-、IFIP Working Group 6.4.、University of Kent at Canterbury. Computing Laboratory.、出版社：Amsterdam ; New York : North-Holland ; New York, N.Y. : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1984.		Proceedings from the Second International Conference on Expert Database Systems 0 索取号：TP392-53/E9019/1988.2 作者：International Conference on Expert Database Systems (2nd : 1988 : Vienna、 Va.)、Kerschberg、 Larry.、George Mason University.、出版社：Redwood City, Calif. : Benjamin/Cummings Pub. Co., 1989.
	Database machines : fourth international workshop, Grand Bahama Island, March 1985 0 索取号：TP392-53/E9016/4 作者：International Workshop on Database Machines (4th : 1985 : Grand Bahama Island)、DeWitt、 D. J. (David J.)、Boral、 H. (Haran)、出版社：New York : Springer-Verlag, 1985.		Improving database usability and responsiveness 0 索取号：TP392-53/E9015/2 作者：International Conference on Databases: Improving Usability and Responsiveness (2nd : 1982 : Hebrew University of Jerusalem)、Scheuermann、 Peter.、出版社：New York : Academic Press, 1982.
	Proceedings 0 索取号：TP392-53/E9011 作者：International Conference on Data Bases (1st : 1980 : University of Aberdeen)、Deen、 S. M. (Sayyed M.)、Hammersley、 P.、University of Aberdeen. Dept. of Computing Science.、British Computer Society.、出版社：London ; Philadelphia : Heyden, 1980.		Proceedings of the Fourth British National Conference on Databases (BNCOD4) : University of Keele, 10-12 July 1985 0 索取号：TP392-53/E909/4 作者：British National Conference on Databases (4th : 1985 : University of Keele)、Grundy、 A. F. (Anna Frances)、British Computer Society.、出版社：Cambridge [Cambridgeshire] ; New York : Published by Cambridge University Press on behalf of the British Computer Society, 1985.
	Proceedings of the Second ACM SIGACT-SIGMOD Symposium on Principles of Database Systems : 21-23 March 1983, Colony Square Hotel, Atlanta, Georgia 0 索取号：TP392-53/E907/2 作者：ACM SIGACT-SIGMOD Symposium on Principles of Database Systems (2nd : 1983 : Atlanta、 Ga.)、Association for Computing Machinery.、ACM Special Interest Group for Automata and Computability Theory.、Association for Computing Machinery. Special Interest Group on Management of Data.、出版社：New York, N.Y. : Association for Computing Machinery ; Baltimore, MD : May be ordered prepaid from ACM Order Dept., 1983.		Quantitative analysis in financial markets : collected papers of the New York University Mathematical Finance Seminar v.II 0 索取号：F810-532/E20011/2 作者：New York University Mathematical FinanceSeminar、Avellaneda、 Marco、 1955-、出版社：Singapore : River Edge, NJ : World Scientific, 2001.